Stable model semantics - PDFSEARCH.IO - Document Search Engine

Stable model semantics
Results: 102

#	Item
41	A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam Postfach Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-05-13 13:21:07 Non-classical logic Knowledge Reasoning Knowledge representation Consumer theory Default logic Preference Non-monotonic logic Stable model semantics Logic Science Logic programming
42	Believe It or Not: Adding Belief Annotations to Databases Wolfgang Gatterbauer, Magdalena Balazinska, Nodira Khoussainova, and Dan Suciu Department of Computer Science and Engineering, University of Washington, Seattle, Add to Reading List Source URL: www.vldb.org Language: English - Date: 2009-07-27 10:29:02 Philosophical logic Database theory Relational model Binary operations Data management Tuple Finitary relation Stable model semantics Modal logic Logic Mathematics Science
43	Efficient Querying of Inconsistent Databases with Binary Integer Programming ∗ Phokion G. Kolaitis Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-06-29 06:26:31 Conjunctive query Theoretical computer science Boolean conjunctive query Relational database SQL FO Stable model semantics Relational model Database theory Data management Computing
44	В издательстве «Физматлит» в 2004 г Add to Reading List Source URL: www.raai.org Language: English - Date: 2004-01-22 06:29:02 Non-classical logic Logic programming Philosophical logic Default logic Autoepistemic logic First-order logic Prolog Stable model semantics Non-monotonic logic Logic Mathematical logic Reasoning
45	Modeling Multi-Agent Domains in an Action Languages: an Empirical Study Using C Tran Cao Son and Enrico Pontelli Dept. Computer Science New Mexico State University tson \| epontell @cs.nmsu.edu Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-06-12 21:22:45 Science Multi-agent systems Epistemology Frame problem Knowledge representation Agent-based model Stable model semantics Function Action description language Artificial intelligence Logic programming Mathematics
46	Concise analysis using implication algebras for task-local memory optimisation Leo White and Alan Mycroft Computer Laboratory, University of Cambridge William Gates Building, 15 JJ Thomson Avenue, Cambridge CB3 0FD, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-17 08:32:31 Software engineering Application programming interfaces Fortran OpenMP Model theory Task parallelism Stack Stable model semantics Term algebra Computing Computer programming Parallel computing
47	Using Answer Set Programming to model multi-agent scenarios involving agents’ knowledge about other’s knowledge Chitta Baral, Gregory Gelfond Tran Cao Son, Enrico Pontelli Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:05:46 Modal logic Artificial intelligence Knowledge representation Kripke semantics Frame problem Entailment Epistemic modal logic Common knowledge Stable model semantics Logic Philosophical logic Logic programming
48	Reasoning about Actions and Change: From Single Agent Actions to Multi-agent Actions (Extended Abstract) Chitta Baral Faculty of Computer Science and Engineering Arizona State University Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:29:10 Logic programming Modal logic Artificial intelligence Multi-agent systems Epistemic modal logic Philosophical logic Common knowledge Stable model semantics Situation calculus Logic Science Mathematical logic
49	ANSWER SET PROGRAMMING KNOWLEDGE REPRESENTATION, REASONING AND DECLARATIVE PROBLEM SOLVING USING ANSPROLOG: WWW.BARAL.US/BOOKONE Chitta Baral Department of Computer Science and Engg. Add to Reading List Source URL: www.public.asu.edu Language: English* - Date: 2004-06-18 11:01:46 Non-classical logic Reasoning Knowledge Knowledge representation Programming paradigms Knowledge representation and reasoning Non-monotonic logic Stable model semantics Default logic Science Logic programming Logic
50	Technical Communications of the International Conference on Logic Programming, 2010 (Edinburgh), pp. 134–143 http://www.floc-conference.org/ICLP-home.html TIGHT SEMANTICS FOR LOGIC PROGRAMS LUÍS MONIZ PEREIRA 1 AND AL Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-06-24 05:59:13 Theoretical computer science Stable model semantics Modal logic Answer set programming Semantics Well-founded semantics Logic programming Logic Science